Formal reasoning and semantics
UIP-05-2017-9219