User blog comment:LittlePeng9/ITTM galore/@comment-5529393-20140318223404/@comment-1605058-20140319144143

Actually, "master flag" is not exactly my idea, Hamkins & Lewis have used it in their paper.