WF and Barscotch