use midje and simple-check testing framework