New PA Formal Standard Template