As det nu anförda synes det ,som