2. First-Order systemsΒΆ

in preparation