Defining the precondition step