For a left type-A monoid S, let tau be the congruence on S generated by R*. There exists a congruence rho on S which induces the least right cancellative congruence on each of the tau-classes. In this paper we investigate the congruence rho and give a structure theorem For the class of all left type-A monoids for which rho boolean AND R* is the identity relation.