Πεψενθε 

`and`(r = sqrt(`+`(5, -1)), sqrt(`+`(5, -1)) = 2)