f t * s & {t:t