More generic asserts