Primitive function/Inverse function/Fact