Can A Java Function Definition Algebra