Category:Binary Characterization Assumption