murecursivestackboehmboolean2soft