Text this: First-order modal logic