New rules and extension of the deductive system API.