Talk:Finite Model Theory/Motivation

This section uses the term "FO" without defining it.