jus.util.assertion
Interfaces 
Assertion
Exceptions 
Ensure
Fail
Invariant
Require