setAssertion etc