introduce _assert