Finished up until verifying RSK