2 ms·Could you expand on how one would specify DAO-like contracts with only first-order logic?by mbrock 10y agoCould you expand on how one would specify DAO-like contracts with only first-order logic?