eigen comments on Proving Too Much