added intensional version of the argument (includes a new intensional embedding)