INT c< COMPLEX by Th1, Th5, XBOOLE_1:56;