Fix load discrepancy
Fix theorem properties link