Global parameters
Author: Frank Pfenning
