 greatly increases the expressive power of dependence logic, extending it to team logic (Väänänen 2007a,b), which is, in a very strong sense, equivalent to full second order logic (Kontinen &amp; Nurmi 2009).