codice_31 indicates a value which is equal to either its left- "or" right-hand arguments. codice_32 indicates a value which is equal to both its left- "and" right-hand arguments. These values can be used in any code that would use a normal value. Operations performed on a junction act on all members of the junction equally, and combine according to the junctive operator. So, codice_33 would yield codice_34. In comparisons, junctions return a single true or false result for the comparison. "codice_35" junctions return true if the comparison is true for any one of the elements of the junction. "codice_36" junctions return true if the comparison is true for all of the elements of the junction.