Eliminating Arbitrary Function Definition