Let 0 and 1 be the two basic primitive values of Boolean algebra. Let "AB" denote a binary operation of Boolean algebra. Let ("X") stand for the Boolean complement of "X". Then the calculus of indications is simply Boolean arithmetic reduced to the two equations 11=1 and (1)=0. These are the only "axioms" in "LoF".