The Proposition [Closed.R/Ine]