https://en.wikipedia.org/wiki/Predicate_transformer_semantic...

Found in about 9 seconds.