Full threadmusgravepeter·Penrose's contribution is reviewed in https://arxiv.org/abs/1410.5226View on HN