Nuel_Belnap loading ...