Two dimensional program abstraction.