Data curation, Formal analysis, Writing - original draft.