const int redBtn = 2;  
const int blueLed = 8;  
const int greenLed = 13;     
boolean buttonState;

void setup() {
//Button Setup
pinMode(redBtn, INPUT);
//Led Setup
pinMode(greenLed, OUTPUT);
pinMode(blueLed, OUTPUT);
}

void loop() {
  // Read the state of the push button
  buttonState = digitalRead(redBtn);

  if (buttonState == HIGH) {
    // Toggle the state of the first LED
    digitalWrite(greenLed, HIGH);
    digitalWrite(blueLed, LOW);
  } else {
    // Toggle the state of the second LED
    digitalWrite(blueLed, HIGH);
    digitalWrite(greenLed, LOW);
  }
}