implicit_assumption