update of extended intensional version
update of extended intensional version