First example of by-example test