add work done while meeting with Q.C.: concluded that it's best to induct on msg; can't induct on things involving c or p because the size is fixed. TODO: nil, cons cases?