(op== (op+ id:a id:b) id:c)