top bar, renamed option to proposal, user deserialization