There’s definitely a way to prove it, ask it to spell out a moderately complex program.