Text this: The theorem of krohn-rhodes and cerny's conjecture