Note about predicate transformers - Hoare, C (2015)