added extended intensional version