"[L]iquids can be produced from coal by... pyrolysis... by dissolution... [i.e.] solvent extraction... or by reaction of coal with or with solvents... donating hydrogen (hydroliquification). All... constitute... coal-to-liquids (CTL) technology."