Again I find myself wondering why this returns Term if the result is always an Ambiguity.