issue#253: proposal
issue#253: JLiangWaterloo comments
issue#253: JLiangWaterloo comments
Merge branch 'pr_iss253' of github.com:chocoteam/choco3 into pr_iss253
Merge pull request #256 from chocoteam/pr_iss253

issue#253: proposal