Inexact Wherefrom

Oxford Proof