Text this: FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS.