Abstractions and Embodiments