Title: The gasification of coal