Prove turn leave discover

    11