How do we get to that formal logic rule? I do not understand how it can be almost predicted what the rule should look like, before we get to that rule