Assertion-related support-classes