( Man antager , att,