Author: Intensional First-Order Logic From AI to N