Added draft implicative diagram. Very rough so far.