Programming functions or Pre and Post Conditions