a,(e' a cis e a)(cis e)