2011/3/22 Aditya Mahajan
<adityam@umich.edu>
well, it works if one specifies [A5][samesize]
Yes, but [A5][A5] is simpler than [A5][samesize] :)
With the former if the size changes to A6, you only have to change one thing. So in light of maintenance it is better.