enforced the type of assertions.