The products are priced at $ 575 and $ 295 in quantities of 10,000 .
The TAAD and SAR-x chips are priced from $ 125 to $ 300 in quantities of 10,000 .
used for specifications and requirements ex: english problems: ambiguous, incomplete, and inconsistent (left for many interpretations) fix: use mathematical logic