adding tests for
adding proclaim.length
Catch edge-cases – failures should always throw AssertionError
Add documentation for proclaim.length