Thought Experiment: First Decentralized Sport Team Using SMT?