torified proof warnings