counterideal

not defined yet