A lower bound for the Weisfeiler-Leman dimension of circulant graphs | Synapse