MoL-2022-02: Carr, James (2022) Hereditary Structural Completeness over K4: Rybakov’s Theorem Revisited. [Report]