"And what should be said of Takeuti’s conjecture (roughly) that the nature of the introduction rule determines the character of the elimination rule?" -- H. P. Grice.

H. P. Grice:

“And what should be said of Takeuti’s conjecture (roughly) that the nature of the introduction rule determines the character of the elimination rule?”