  In several of the class A Bianchi models, minisuperspaces admit symmetries.
It is pointed out that they can be used effectively to complete the Dirac
quantization program. The resulting quantum theory provides a useful platform
to investigate a number of conceptual and technical problems of quantum
gravity.
