testing of all gates works OK! TODO: test membership funcitons