Index_Laws_for_Monoids