Coke is produced when coal is burned with air.