I understand that the HRA exemption can be provided only by the employer. This can be done when the employee declares / produces rent receipts. Is my understanding correct? If the employee fails to declare his rent payment / rent receipts, what recourse is available for him to claim this exemption?