Np1sec/incremental consistency

Page credits
This page was last modified 18:47, 2 December 2014 by Dmitri Vitaliev. Based on work by Ximin Luo and learn.equalit.ie user Vmon.