Simplified the declaration of some assertions.