Contract Analysis — to0ls