trying to commit a proof ...