This can be the 1st assertion.