Yes, good point! Satoshi was definitely familiar with discussions of smart contracts and smart property. You can see this in the design of Bitcoin transaction

Yes, good point! Satoshi was definitely familiar with discussions of smart contracts and smart property. You can see this in the design of Bitcoin transaction scripts. While most of the opcodes were disabled in late 2012 due to security concerns, the overall design shows some incredible forethought.