Mention that implementations might not check for circularity.