It seems to me that if you're doing interaction testing (state verification on the interactor) then the distinction between stub and mock doesn't seem very useful. There's nothing stopping me from creating a very simple mock and either doing no verification of interaction or minimal verification. i.e. I don't think there's anything inherent about a mock that requires one to use it for precise interaction verification. What am I missing?