The Logic of Δ. (3rd January 2014)