Title: Implication and linear inference