RAT <> REAL by Th2;