A new language for hole