Topic: Many-valued logic.