In less than 100 seconds, James Verdon explains the principle of trapping carbon dioxide in rocks.