Improve communication quality and speed between different cultures

With a formalisation of ethics we can prove at compile time that an AGI system is ethical.

Write the "best" TM programming language ever created