마이클 더밋 - 다른 언어