Gilbert_Belnap loading ...