We introduce a percolation model for the spread of information under censorship. Initially, we have n logical statements and some known implications, represented by an oriented graph G. We then attempt to complete the knowledge by transitivity, however a censor sets restrictions. This is represented by a set of open directed edges. All other edges are closed. Among other results, we show that if...