Program Fragments

Assume

Assert

Expressiveness