. "implication groupoid" . . "implication groupoid" .