It helps me to think back to the NYC -> USA example.

For guarantee:

Being in nyc GUARANTEES being in the usa.

Being in the usa is GUARANTEED by being in nyc.

For require:

Being in nyc REQUIRES being in the usa.

Being in the usa is REQUIRED to be in nyc.

I like the cfb example. Looks good to me.