Links for ax-consistency