Crossing the Bridge to Formal Proportional Reasoning