Thread:Collector1/@comment-26818010-20151229234141/@comment-1187034-20151230021729

24.146.136.234 wrote: but we chnage things around Proof.