» , : lSproposition