continue…

Related to Theorems for free