IBP written. Now TrySimp and Ibp can take general levels to try rules.