Steel man - opposite of straw man. In a debate summarize an opponents view that he wouldn't find fault with and then take down this argument.
poetry of rumi
call to prayer
kawali music Nuraf fatali kahn
NP Complete Problem - computational requirements of checking a list for logical contradictions. As you add propositions the run time for a computer the size of the universe after 15 billion years you would be fight to add the 300th belief to the system.