Given the fact that you've also defined `have_received` in `RSpec::Mocks::ExampleMethods`, why is this needed here?