https://thelogictutorial.blogspot.com/2024/03/certainly-developing-billing-software.html