On Tools for Completeness of Kleene Algebra with Hypotheses (Logical Methods in Computer Science, 2024)