Files
gf-core/book/examples/chapter8/Logic.gf