https://rolobotrambles.com/what-i-learnt-this-week-the-imposition-of-implication-wiltw/