Iso has correct type now, J' works