 The next stage uses a knowledge of experts’ behaviour and a range of error taxonomies to identify the places where human error is most likely to have occurred.The final stage uses various formalisms to assess whether or not an error actually has occurred.There is no guarantee that this method will catch every error – it is not a method for proving the correctness of a piece of previous work – but it improves the chances of finding key errors.