assertions can force which of the constraints ......
pre conditions
post conditions
exceptions
class invariants