Baker identity
p.
p.
Left
Right