Discussion about miri_freely