Clarify where MSpec defines methods.