5

Free Variables Can Be Used to Handle "forall"