The top documents tagged [cycle of proof snc2d]