Requirements for Proving Fault