Intensional First-Order Logic