Revert "Inserted dummy propositions."

This reverts commit 4767d520c67e0abd3503f3c9a14cefacb45e2827.
New proposal structure and design.