#---------- Simple Boolean algebra of values----------#
satisfied = (this or that) and (foo or bar)