https://profilbaru.com/en/Design_by_Contract