Our description of Internet shopping omitted the all-important step of actually buying the product Provide a formal logical description of buying, using event calculus That is, define the sequence of events that occurs when a buyer submits a credit card purchase and then eventually gets billed and receives the product.