"3"^^ . . . . . . . "Boolean ideal"@en . .