The principal residence profit exclusion, explained