 However, matters are more delicate when it comes to formulas with free variables. Then it is possible to show (Kontinen &amp; Väänänen 2009) that dependence logic corresponds to the downwards-closed fragment of existential second order logic: