Full implementation of string assertions.