Category:GAP-testable properties