Således är det antagligt , att hrHedin