In the literature on Kleene algebra. a number of variants have been proposed which impose additional structure specified by a theory. such as Kleene algebra with tests (KAT) and the recent Kleene algebra with observations (KAO). or make specific assumptions about certain constants. https://www.jmannino.com/quick-save-Arcade-Smokey-Bear-Belt-p10222-great-pick/