A shoes application that models a traffic light