First, correlation is symmetric between effects and their causes, while causation is not.

You may as well replace the phrase "correlation implies causation" with "correlation implies effectation".

For a careful treatment on correlation and causation, you should read Judea Pearl, one of the great living computer scientists. I highly recommend this casual read: https://www.nyu.edu/classes/shrout/SEM06/pearl.pdf