 A recent attempt to render PI as a deductive argument is by Timothy Lyons. He (2016b) takes realism to issue in the following meta-hypothesis: “our successful scientific theories are (approximately) true”. He then reconstructs PI thus: