Could carbon trading help lower campus GHG emissions?