+ ~)S(P1. XI) 



