3 ms·Hostility was exactly what I read in your comment about Hoare logic.by dietrichepp 10y agoHostility was exactly what I read in your comment about Hoare logic.