a good assertion is a statement.