Talk:Modcall/@comment-31435465-20170304205932/@comment-26222768-20170804074532

Proofs?