Keq derivation intuition (can skip; bit mathy)