theyre like an advanced form of program synthesis. Something that operates outside of the abstraction layering.