Text this: On Tools for Completeness of Kleene Algebra with Hypotheses