Specs for where $_ is defined and when it is defined?

This method needs an expectation of some sort. Generally, you can make an expectation on a value computed, a process-internal state change, or an external state change (or all three).