New: viablecorrespondence