prove beth - but might be using too week def defs

prove beth - but might be using too week def defs #863