David keeps talking about Mindmanager. There's a bunch of Mindmapping programs out there, which one does he use? Is it MindManager by Mindjet?