Minor updates to presentation of definitions, removed voting for now