• Epistemic logics have huge potential.
  
  
  
• They link:
  - psychology and engineering;
  - specifications and simple `user models';
  - records of system faults to user errors.
  
  
  
• Watch this space.