IOHK @ CoinAGENDA with charles and jeremy