Title: Intensional First-Order Logic