floating gate subgroup of gate, 3 assertions