Theo Reports Single Fable 5.1 Error in T3 Code

In a reply posted to the same thread, software developer Theo stated that Fable 5.1 produced its only obvious mistake so far by making bad assumptions about the auto settle logic in T3 Code. He noted surprise that the model missed the point because the code should have made the correct behavior clear. Theo added that apart from this one case he has had no issues with the tool.