fun addSale(bookISBN : ISBN,
                seller : User,
                price : Float,
                condition : BookCondition,
                state : SaleState,