We can keep `iex>` here. We just need to remove the printing below.