Den kan formuleras sålunda: