added reduced.stan