{"right", "wrong"} -> {"true", "false"}
Statement sequences can be empty
Replaced first example with primes example