Text this: Restriction in Program Algebra.