\textcolor{red}{TODO: sproofs documentation}