Truth Predicates: Summary

More work needed: test suite and implementations.