Lifted Logic New Mock