A Look At Hive Smart Contract Possibilities And SMTs