och verkställas med ut '