work on unforgable proof