Talk:Logic Manipulation/@comment-25927117-20141227192330/@comment-28898344-20150104163531

Where is the proof?