Lucas-Penrose Argument Invalid? -- On the Road to High-Quality