a.2 InnerProductSpace