A good team is the basis of a perfect project. Semantic contracts based on the theory of executable specifications developed by the world famous mathematicians.