{P}  S(e)  {Q}