- shorter formatting
initial notes on formal models of ratchets