Lucas Logic