Godel's incompleteness theorem strikes again. At least, you can be sure that your models can be consistent.

I thought it was true, false, and file not found.