Symmetry and Limiting Cases as Setup Checks