lazy markov stuffs (constrained, with accumulator)