~f(f) = F(f)