cpapro lujvo

f1=c1 refuses f2=c2 from c3.

Cf. fapro.