Ah but is the model's belief of the statements 1. complete, 2. consistent, 3. decidable?