Πεψενθε 

`and`(P = `+`(`+`(`+`(a, a), a), a), `+`(`+`(`+`(a, a), a), a) = `+`(`*`(4, `*`(a))))