Formally define markov property! Fixes #54.