add I**im handling to assumptions