HOW is math "logic"?