multiepsilon stuff added