travel gasoline calculator.
write the unit-polymorphic gasoline law.