be recovered, such customer shall be entitled to file a claim for the deficient amount in the bankruptcy proceedings where the derivatives business operator is the debtor. Such claim shall, however, be