Canonical extensions in logic by