Vaniver comments on Solving Math Problems by Relay