patience: main assertion remains to prove