They are about to prove their network works after making unreasonable assumptions as prerequisites to the proof.