[math-fun] A causes B causes A