De_Morgan_dual loading ...