Daleth Group

Formalizing T1 as part of the NCTS convention