It is AND/2; doesn't work (without a deeper hole) for more inputs of course.

If the semantics of your `skip(n)` fn are "skip the first n logically-high inputs; output the next", then `skip(1)` is AND/2.