WFC on Ice (a)