A Proven Domain-Independent Scientific Function