Ändamålet är alltså runnet tillväsendtlig