v0.2
more formal model

v0.1
initial version
