I think my example about "NextCustomer" covers the way you expect properties to always return the same thing when you don't for methods.  But I title that section as "side effects" instead of what you're describing.  I think it's important enough of a callout, so I'll make another section that also references this example.  Sound good?