I learned something new - disjunction is sometimes called "alternation": http://www.britannica.com/EBchecked/topic/165607/disjunction http://www.britannica.com

I learned something new - disjunction is sometimes called "alternation": http://www.britannica.com/EBchecked/topic/165607/disjunction http://www.britannica.com/EBchecked/topic/165607/disjunction