isAvailableAs is not inverse functional.