I dislike insight theorems, but you're probably right.