unpublishing eigen; to be republished more concisely