Trevor bought 20 liters of apple juice and drank 9 liters from it.  How much juice is left?