mipypro lujvo

f1=m1 secretly opposes f2=m3 regarding f3 (abstract) with secrecy method m4.

Cf. mipri, fapro