module EndState::Concluders