Enabling assume commented in the previous commit on accident