Kirik’s semantic contracts, which are smart contracts represented as collections of statements in formal logic, can be analyzed using mathematical and AI methods so that the possibility of bugs and unexpected