for x being object
for X being set st not x in X holds
{x} misses X by Lm6;