Suggestion to rewrite variance in fuction arguments explanation

I have a hard time trying to understand variance in function arguments in the following chapter:

However, the same logic does not apply to arguments. Consider trying to satisfy:

fn handle_animal(Animal);

with:

fn handle_animal(Cat);

The first function can accept Dogs, but the second function absolutely can't.
Covariance doesn't work here. But if we flip it around, it actually does
work! If we need a function that can handle Cats, a function that can handle any
Animal will surely work fine. Or to relate it back to real Rust: if we need a
function that can handle anything that lives for at least 'long, it's perfectly
fine for it to be able to handle anything that lives for at least 'short.

The most confusing thing is what does it mean to "satisfy one function with the other"?

I'd suggest to rewrite this paragraph

The requested passage is in src/subtyping.md, in the section explaining variance in function arguments. Read that paragraph and its surrounding examples first, focusing on clarifying what it means to satisfy one function requirement with another. Done means the explanation is rewritten so that relationship is understandable to readers unfamiliar with the terminology.