Author: Intl Sump on Multiple-Valued Logic