Assumptions we make about what must be true before a method is called. Preconditions should be written in the comment above a method. For example: ``` /* * 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(); } ```
