Discussion about isabelarr19