intensional definitions