now the self containing set problem is solved