Scott Garrabrant comments on Infrafunctions and Robust Optimization