Logical Lloyd