test to show and/or simplification