generated at
four-valued logic