proof-for-lor