Def NonContradictory

Modification history