De_Morgan's_laws loading ...