further assumptions mods