Meet the team behind
Inductive Quotient