I det nu anförda ha vi utgåttfrån