Practical Abstractions