Wait, so Ballmer talked over the insight of his highest software engineer? Is that really what happened?