Propositions now open and close automatically w/ auto-add.