De_Morgan's_Laws loading ...