From #156 > Section III.A: I do not understand why the goals are numbered “1”, “!1”, etc.
From #156