IMPLEMENTATION MODULE KH; END KH. .