my guess is that they also had to prove that the complement process was mathematically sound