Nuvasive Vs Alphatec, Concerning Alphatec's validity challenge based on obviousness, 35 U.