Readded documentation and renamed the consistency to 'weakly consistent'