Added Pre Conditions/ Post Conditions