Add sillyInduction (only does a case analysis)