P r 0 f \ r lint