Are Smart Contracts Really "Smart"?