Keyword: claiming the principal residence exemption