This comes up in Leibniz. He is familiar with and in alignment with Plato. He distinguishes between the laws that are contingent, willed/created into existence/temporality… and the laws that describe that which is eternal/necessary. He acknowledges the freedom and creativity of the eternal/necessary being. The synthesis towards/back to which all the Platonic dialectics point.
I don’t have him right in front of me right now, and am still not taking the bait.
I will articulate the Venn of Import in due time.
Alas… no due date.