In fact , we have made no assumption that models are encoded in any formal logical system at all .
We briefly address this issue below .
In fact , we have made no assumption that models are encoded in any formal logical system at all , although we briefly address this issue below .