utilitarian lottery implemented