Title: Theories of abstract implication