A small project I used during a presentation of BDD with MSpec