Some work on 'spock-testing'