INT <> RAT by Th4;