(* Subsidy Free Pricing *) <