Dyktus branch

Please use the Assertion class.