I think this phrasing is a bit confusing...as I understand the terminology, `have_received` doesn't spy on a double, it verifies received messages on a double you are already spying on.  I would say that you setup the spying by stubbing a method.  Is my terminology/understanding in line with bourne?