Finite Witness

Pick a few graph axioms and watch a finite structure try to exist. When the score hits zero, you have a witness.