Formal Method – Trinity 1945