rip-off of 9-value logic, modified