skulle verkställas med domkrafter;