Synthetic Abstractions