Abstract Principles Taken to Their Logical Extremes
 
x
OK