This discussion clarifies that a rent receipt is sufficient for claiming House Rent Allowance (HRA) exemption, making a formal rental agreement unnecessary for tax purposes. It also outlines the tax exemption limits for housing property interest in FY 2020-21, stating a £200,000 limit for self-occupied properties and no limit for let-out properties.