But here's the thing, it's not that the statement isn't formalisable, it's the method that you used to formalise it isn't formalisable.