Some special cases with spock testing