Added Assertor as preparation for validity constraints on statements.