Added Implication.h from Toviah