SEFLIN. Acquittal on hostile witness. Stability of floating bodies formula derivation. Axiom time chart calculator.