Lifted Logic Luke