You will be place in their implies (and so are they) Since your requires just ...