Defensive Programming:Asserts