Intuition … Visual “Q, whenever P” (but Q could be true at other times too (…)) “Q, whenever P and only whenever P” (Q is true only when P is) Formal Definition … Connections
