Interval/Primitive function/Constant difference/Fact