Prove turn leave discover

    10