// BUG: Incorrect Alert Mechanism 
// alert = start && (state!=FINISHED);
// FIX:
    alert = start && (state!=IDLE);
// BUG: