simple microscope subgroup of microscope, 2 assertions