https://hedonblog.co.uk/2016/04/06/reflecting-church-puzzle/