let matching (f,t) = matching3 (f,t)