no thm of facts created by induction
tuned