Working on El_pr1_reflects_isos