more strict assert