normal proposal is symmetric
update todo
added start of internals documentation