), and there exist better automated tools (e.g. automated theorem provers and model checkers) for manipulating it.
While manual manipulation of the subject is possible, there are more efficient automated tools available, such as theorem provers and model checkers, which can perform this task more effectively.