Can you provide an instance of such situation? I have been curious about what can not be done without formal logic and never got a direct response.