; #assuming