Man antager att summanicke