Kleene algebra (with involution)