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 be formatted as pretty printed S-expressions using the function PPRINT (note: with two Ps, short for "pretty"-print). Lisp programs are valid s-expressions, but not all s-expressions are valid Lisp programs. codice_21 is a valid s-expression, but not a valid Lisp program, since Lisp uses prefix notation and a floating point number (here 1.0) is not valid as an operation (the first element of the expression). An S-expression preceded by a single quotation mark, as in codice_22, is syntactic sugar for a quoted S-expression, in this case codice_23. S-Expressions are often compared to XML, a key difference being that S-Expressions are