Min for untypecheck problem