bound assertions.