Simultaneous Abstractions