some support to recover from spurious crash -- this is Physics, not Mathematics;
some support to recover from spurious crash -- this is Physics, not Mathematics;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle