Incomplete chapters

Some topics yet to be written:

  • Elaborate on the proof procedure
  • SLG solving – introduce negative reasoning