id     = "BOOLEANS"
name   = "Boolean theory"