Added WW Assumption A.  (You'll need to update KURE.)