People's Democratic Party (Nigeria) to five years in prison. The party is a moderate advocate of state-autonomy and religious freedom for the Nigerian provinces. In the year 2000 the introduction of Islamic law in some states in Northern Nigeria triggered sectarian violence in Kaduna and Abia states. The PDP-led federal government refused to bow to pressure from the southern, predominantly Christian states to repeal the law, and instead opted for a compromise where Islamic law would only apply to Muslims. In the 2015 elections, the incumbent president and PDP presidential nominee, Goodluck Jonathan, was defeated by General Muhammadu Buhari of the All Progressives Congress
S-expression S-expression In computing, s-expressions, sexprs or sexps (for "symbolic expression") are a notation for nested list (tree-structured) data, invented for and popularized by the programming language Lisp, which uses them for source code as well as data. In the usual parenthesized syntax of Lisp, an s-expression is classically defined as The second, recursive part of the definition represents an ordered pair, which means that s-expressions are binary trees. The definition of an atom varies per context; in the original definition by John McCarthy, it was assumed that there existed "an infinite set of distinguishable atomic symbols" represented as "strings of