modified:   sim/impl/epdetmn.py
	modified:   sim/impl/slpdetmn.py
	modified:   sim/paxos.py