Enlargement and Proportional Reasoning