More work on insanity lemma