Cause the first formula of easy_induction to appear in the demo.