Lifted Logic New Mock 2