Lifted Logic test 2