Hui Hui's inputForm

separate specification & implementation