Assertions:

Comments