Entre duvidas e abstração Há sempre uma nova formaEntre duvidas e abstraçãoInterferência,equivalência e verificação.