Redirecting to Pythagorean addition