Pre-condition defined...