degradative interference PRO by Dan Tramte