[DEACTIVATED] Duncan Sabien comments on Contra double crux