Getting formal about quantum mechanics' lack of causality