https://profriehle.com/2020/02/21/theory-building-and-validation-in-computer-science/