Two-valued logic

Original text of this message