2S : E » prolog;