patience: for verification goal proved \!