A contract may have been formed, but maybe the contract has a clause that exempts pricing errors. Without reading the contract, we cannot know. But given that

A contract may have been formed, but maybe the contract has a clause that exempts pricing errors. Without reading the contract, we cannot know. But given that the context was constructed by HP, there are likely multiple legal escapes.