Adding final conditions, fixed compression for recursive compressions