Eliminating Arbitrary Function