Added Propp-Wilson