Write down 4 steps that a user must do to purchase a product, for example, a book on Java, in an online store, and list the preconditions and postconditions for each step.
a) Selecting the product
b) Adding to the cart
c) Providing payment information
d) Confirming the order