f \neq const