id     = "BOOLEANS"
name   = "Boolean Theory"