bnp - Belnap four-valued logic.