Lawvere's_fixed-point_theorem loading ...