Kevin disposes of a property that has been his main residence for 10 out of the 20 years he has owned it. What proportion of any gain that he makes on the disposal will be exempt?