added proof keyword