Added or / exists to pruf.8f.