Vi taga deraf följande: