.. * mc : b Halm^a ! !.