The thing is that this is a biological passport issue. The biological passport is unique to each rider and constitutes the baseline for judging significant departures from that. So it should already account for the fact that Henao is an 'altitude native' and that would be included in his baseline figures (say for example, an imaginary rider who had natural haemocrit levels of 45-50 as opposed to most people's 40-45 - the idea is that they wouldn't be so suspicious if their levels were found in testing to be 51, whereas the rider with a baseline 40-45 would be - it's more complex than that, but just to illustrate how it should work). We don't know exactly how Henao's results differ from his baseline figures yet.