t » a * \ a » b a *.