The top documents tagged [proof logically shifts]