Finally, debugging human software - this is the inevitable future we've been waiting for.