I en senare skrifvelse heter det: