How HP can use Itanium ruling to beat Oracle