this is a true unconditional assert, e.g. "I assert that this condition is true". Problem is that's too much power to throw at most use cases.