Added preliminary specs for logical operators