Added maths.

I'm not totally satisfied with the definitions, but this is a good
start. I'd like to work the definition of the neighborhood so that
probability of NOT transitioning to that neighborhood is < epsilon.