  
  [1X4 [33X[0;0YToDo-list[133X[101X
  
  
  [1X4.1 [33X[0;0YProof tracking[133X[101X
  
  [33X[0;0YThis  is  a  way to track proofs from ToDoLists. Not only for debugging, but
  also for knowing how things work together.[133X
  
