counterprinciple

not defined yet