One-to-one correspondence: Reasoning and Problem Solving