do one proof. not much time today, try again later