* add subject reduction for expression