A program for adding hypothetical state machines to an environment and monitoring their pseudorandomly changing states.