Lifted Logic Test 3