Orthogonal projections and bases.