Does an explicit test for membership not work here?