https://thebossmind.com/instantiation-in-logic-and-programming/