Improved declarative paradigm section.