\textcolor{red}{TODO: inheritance documentation}