added proof tries