A process for producing silicone-containing prepolymers capable of absorbing blue light for use in the production of relatively high refractive index polymeric compositions is described herein. The carton includes a plurality of panels that extends at least partially around an interior of the carton. These modes include a Learn Mode during which the commuter route learning program learns new commuter trips, a Pattern Recognition Mode during which the commuter route learning program recognizes and categorizes routes from patterns of trips, and an Execution Mode during which the commuter route learning program automatically provides commuter route traffic congestion information to a subscriber. Furthermore, for the hardware, the at least one of the floating-point division algorithm and the square root algorithm are formally verified, based on the automatic sequential equivalence determination. The system, generally fitted with a cannula enabling the ultrasound treatment to be applied to a determined area, can itself be incorporated in such a manner as to make an ultrasound treatment machine serving in particular to perform phacoemulsification. Modulated power supply voltages are provided to transistors within the logic device, so that the degraded input voltages supplied to the transistors are sufficient to turn the transistors substantially on or off.