0-s * t 'v0«