Demonstrating That a Public Predicate Can Be Satisfied Without Revealing Any Information About How