AssumptionFun3495