Removed paranoid assertions. Added presentation equality. Added record to presentation for comparing records to presentations. Started refactoring failure and presentation references.