[S05]:  Based on #apw2014 discussion, mark PEG tiebreaker #5 as conjectural.