On Tools for Completeness of Kleene Algebra with Hypotheses - Pous, Damien; Rot, Jurriaan; Wagemaker, Jana (Relational and Algebraic Methods in Computer Science, 2021)