De_Morgan_algebra loading ...