Validated Numerics - inbunden, Engelska, 2011