Eng 6012 inexists sp

On the other hand, the following
select a from r1,r2 where exists ( select 1 from r3 where r1.a = r3.a and r2.c = r3.c);

compiles just fine. The only difference is that the parameter TVEs are from different table