Lucas-Penrose argument