Interval/Primitive function/Constant difference/Fact/Proof