documentation:release:4.12:fan:disjointstackyfan