Added assert-style exception feature; TRUTH.