Simplification of instances