Aczel's anti-foundation axiom
 
x
OK