 However, since the thesis that MSO is pure logic is very abstract, much of its cash value will lie in its applications. And given the equi-interpretability of MSO and PFO, it is likely that many applications of the logicality of the former can be served equally well by the logicality of the latter. This reduces somewhat the importance of carrying out the second step.