"that don't contain themselves as members contains itself?"