I thought he was more suggesting that the proponents could bolster their case by using their weird mathematical machinery to prove some other, less daunting, re

I thought he was more suggesting that the proponents could bolster their case by using their weird mathematical machinery to prove some other, less daunting, results or otherwise show that it has more general uses. (Not asserting that this is impossible, just complaining that it hasn’t been done.)