Kleene_algebra loading ...