extra assertions