Vi antora derur följande: