prove an iso
Travis: do not skip joins for now