k_lin_n_01.k revision 8097f4aa8c4e8d1445d2ebce2e2614655809ade1
((F\/([]([]p1->p1)\/[]([]p1->p1)))\/F)