Rosser's 1936 strengthening shows simple consistency suffices, yet this move introduces its own meta...