Title: Implication considered in the light of the laws of abstract systems