Is this a Gödel Completeness thing?