Added L-S theorem for FOL sans identity, fixed some typos and added brief explanatory text for construction of model section.