Module Register.GOALS

module GOALS: Wpo.S.Set