如果UF,那么SF