which is relatively tractable when IP is small.