copilothow to show an invariant - Search