Combining Texts

You have chosen , First-Order Modal Logic and .

All three must be different; choose another text.