Escobar's axiom

 

v20240901