Exactly diagonalizing Hbar to avoid Davidson. Major bugs remain.