After YC, Mokhtar launched Formal with the mission to secure the world's data. Thanks to an incredible team, we support companies like Notion.com.