Testing quantified and simplified maps