Vi antaga således otvunget , altHr