Preconditions and Postconditions - AP Computer Science A