Here is a review left by a customer on a product. Would you say he was satisfied or dissatisfied?
Title: Review for formal
Review: The book seems promising, particularly for beginners, who wish to take up the study on formal methods
