Revert "proposal"

This reverts commit f2bbc41cae1afc310a8e57b44e95569a1001577c.