Ingrid has a policy identical to the homeowners policy used in class. She recently had her roof repaired, but during a heavy rainstorm that occurred during the policy period, the roof leaked. She experienced water damage to her house, which cost $15,000 to repair, and her computer was ruined by the leak, and it cost $7000 to replace. Are these damages covered? Please identify the relevant policy provisions and discuss the likelihood that the claim is covered. (Do not address the actual cash value or replacement cost issues for this question as there is not enough information.)