Vi antaga vidare ,att