Zoink Verifying Ts2