Using multiple abstractions