De Morgan, Augustus.