#NumericalAbstraction