What is the equivalent of the "do" operator for finite factored sets? — LessWrong