flavourless theta adjacent diverse long computationally Tientsin quadruples auditing Pravda orientations