What should be true after a method is called. Postconditions should be written in the comment above the method: ``` /* * Precondition: Karel has just jumped the * last hurdle, and is facing east. * Postcondition: Karel is all of the way * at the end of the world. */ private void runToFinish(){ move(); move(); move(); move(); } ```
