Lifted Logic Mock2