fixed utlAssume