• We have modelled facts in the report.
  
  
  
• Next we can model inferences.
  
  
  
• Error occured because X happened.
  
  
  
• Must prove X did actually happen.
  
  
  
• If not then hypothesis is unproven.