definiens: means either ( a ) if the aggregate pay ments of the Royalty in respect of Net Sales of Licensed Products made on or before December 31, 20 30 and any other payments accrued prior to December 31, 2030 pursuant to clauses ( ii ) through ( v ) of the de finition of are equal or greater than, in the aggregate, $ 608,000,000, then $ 608,000,000, or ( b ) if the paym ents of the Royalty in respect of Net Sales of Lice nsed Products made on or before December 31, 2030 actual ly received by the Buyer and any other payments act ually received by the Buyer prior to December 31, 2030 pu rsuant to clauses ( ii ) through ( v ) of the definitio n of are, in the aggregate, less than $ 608,000, 000, then $ 800,000,000