IIUC, the -2 groupoid is {true}.