data/holes-0.1/holes.1:6: Nd ==> And, 2nd