Data curation, Formal analysis, Writing - review and editing.