Would be helpful to see who else is in the same proof at the same time as you, like you can with Google Docs