kori/mu-puzzle not found