added proof flag