16:640:567 - Model Theory