#!/bin/bash

git add .
git commit -m 'version correct to chapter 7, terms unification...'
git push origin main