new da functions
fixed assume