A tool for simple mathmetic logic