Generation off the template library. State-correct by rows, not code. Missing facts are named, never invented.