additional assertion