Documented proposal logic