https://github.com/bigeasy/proof/issues/105