Merge pull request #4 from yifan-gu/dev

dummy
finish simple propose
add command compare