(To be clear, Civilization doesn't literally think that contract specification languages were invented by farmers immediately after they invented ownership as a social construct - it's widely suspected that this wouldn't have occurred until hundreds of years later, after people got in some practice with simpler systems.  This would, however, probably have been the first use-case for the explicit idea of a programming language, invented centuries before anyone could build an actual computer.)

(To be clear, Civilization doesn't literally think that contract specification languages were invented by farmers immediately after they invented ownership as a social construct - it's widely suspected that this wouldn't have occurred until hundreds of years later, after people got in some practice with simpler systems.  This would, however, probably have been the first use-case for the explicit idea of a programming language, invented thousands of years before anyone could build an actual computer.)