Hoare logic proof. Mutahar Mamamax. Sibil Çetinkaya. De rooden hoed photos.