ny
different &quot;proof styles&quot;, for example, equational or illative.

Paradigm.  Generic example that reflects significant properties of
a target class of phenomena, often derived from a tradition of study.

Analysis.  Effective analysis of concepts, capacities, structures, and
functions in terms of fundamental operations and computable functions.

Work in this phase typically proceeds according to the following recipe:

1.  Focus on a problematic phenomenon.  This is a general property
    or a gene