Penrose–Lucas_argument loading ...