Title: Implication, endometry, universe of discourse