Why does minus multiplied by minus turn into plus?