The failure of x↦{x} to be a set is a feature of standard NFU models, not a logical necessity deriva...