puktce lujvo

m1=p1 delights p2 under conditions p3