State Cooks Theorem In Daa