`also assumes` -> `also assumes by default`