braindump from RWC: overview, properties, ratchet