I would just remove these, and define them below.