image: chuck's simplification :: restrictedsimplifier