good code ⇒ rarely read
A = "good code"; B = "rarely read"; C = "often read"
A implies B
B is exclusive with C
X leading to C implies X is not A