Keempat saksi standar tersebut memenuhi urutan yang diminta: pasangan titik indisret tak terbedakan; singleton tertentu tidak tertutup di Sierpiński; lingkungan kofinit selalu beririsan; dan rasional rapat pada Sorgenfrey meskipun basis global terhitung tidak mungkin.