IMPLEMENTATION MODULE KH; END KH.