Variable FALSEConst

FALSE: "false" = "false"

Constant for the term "false"