Cognitive arithmetic: Evidence for obligatory activation of arithmetic facts