So Popper was unsatisfied by this trilemma of ‘three equally unsatisfying options’, but Euclid several millennia earlier (and virtually everyone since) was perfectly satisfied with option (3).