Efavirenz is an anti-retroviral drug used to treat HIV infection, typically in combination with other anti-retroviral agents. Two patents related to efavirenz were at issue in this case: the ‘572 patent, expiring in July 2013,which claimed efavirenz; and the ‘198 patent, expiring in 2018, which claims a particular crystalline form of efavirenz (Form I) and a process for producing it. BMS was successful in obtaining an order of prohibition in respect of the ‘572 patent, but not in respect of the ‘198 patent. This post will focus on the ‘572 patent. The interesting question of how to construe the promise of the patent in the context of a use claim, where the utility is specified in the patent itself, was raised but avoided. The most interesting statement in the decision hints in dicta at a return to the older view that “. . it is sufficient utility to support a patent that the invention . . . affords the public a useful choice.”