   }
 
   // Requirements fulfilled by the route levers and/or the route fixer.
-  requirements_fulfilled[ROUTE_A_FIXED] = false;
+  requirements_fulfilled[ROUTE_A_FIXATION] = false;
   requirements_fulfilled[SIGNAL_A1] = false;
   requirements_fulfilled[SIGNAL_A2] = false;
   if (current_position[ROUTE_A1] == MINUS ||
       current_position[ROUTE_A2] == MINUS) {
-    requirements_fulfilled[ROUTE_A_FIXED] = true;
+    requirements_fulfilled[ROUTE_A_FIXATION] = true;
   }
   if (current_position[ROUTE_A2] == MINUS &&
-      current_position[ROUTE_A_FIXED] == MINUS) {
+      current_position[ROUTE_A_FIXATION] == MINUS) {
     requirements_fulfilled[SIGNAL_A2] = true;
   }
   if (current_position[ROUTE_A1] == MINUS &&
-      current_position[ROUTE_A_FIXED] == MINUS) {
+      current_position[ROUTE_A_FIXATION] == MINUS) {
     requirements_fulfilled[SIGNAL_A1] = true;
   }
 

}


void setup() {
  // TODO: attach the pins and hook up react_to_movement() functions.
}


void loop() {
  // TODO: update the LEDs and update the outgoing pins.
}

int ROUTE_A2 = 4;
int ROUTE_BERENBACH1 = 5;
int ROUTE_BERENBACH2 = 6;
int ROUTE_A_FIXATION = 7;
int SIGNAL_A1 = 8;
int SIGNAL_A2 = 9;

