pseudost kind euml impl pseudost kind pseudost kind pseudost kind pseudost kind euml impl pseudost kind 