added finite_support_expectation