In the beginning was game semantics