AndN sample circuit and proof