Functional Test specced out in comments