siutat ) : Proposition!