NunoSempere comments on Refuting longtermism with Fermat’s Last Theorem