Def non_contradictory

Modification history