We never even saw Hallett Peak which dominates Nymph Lake.