Beyond first order model theory. (2017)