well_founded relations are Irreflexive