Averaged null energy condition from causality | Synapse