TRUTH-FUNCTIONALITY2008-06-010 PRE AI DOI:10.1017/s1755020308080052OriginalOriginal request for helpShareSaveAbstract En