@sgtgary Well, they're mathematicians; they figured it out.