untrue_but_useful_assumptions