Supported assertions.