work through halmos' section on dual bases