Man antager , att4