V t ) f if