Abstractions²