Software as a service (SAAS) services featuring software for Verifying legal case citations, identifying judicial holdings in court opinions, and analyzing legal propositions against court decisions.