Superassertibility

Summary