Variable epsilonConst

epsilon: Hyp = ...