alternate name for truncated iff truncation isequiv