Use known facts and strategies to accurately and efficiently calculate and check column addition