slutat ) : Proposition!