Variable deltaConst

delta: Hyp = ...