&&/|| in LLL