Assertions documentation