This was long and tedious, but if it helps at least one person understand the propositions a little better, then it was worth it...