View of Logic of Sets with Atoms