Adding rank-2 trick, for soundness.