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://fitnessgravesyardes.shop/product-category/elevation-block/