habryka comments on Contra double crux