Semantic contracts based on the theory of executable specifications developed by the world famous mathematicians. The technology is understandable to specialists in various subject areas and allows to conduct transactions between various blockchains and outside of them.