TNK LAB
x ct x' ct'