Duplicate Function Definition Algebra