We still don't know how he solved the problem of carbon dioxide build up. We know he solved it, though!