removed the output for the assume command