We establish that if it is consistent that there is a supercompact cardinal, then it is consistent that every locally compact, hereditarily normal space which does not include a perfect pre-image of ω1 is hereditarily paracompact. This is the fifth in a series of papers ([LTo], [L2], [FTT], [LT], [T1] being the logically previous ones) that establish powerful topological consequences in models ...