Since, as remarked earlier, every logical truth involves is an a bbreviation of another which in� volves) only logical expressions essentially, the described scheme of as� signing truth makes all logic true by convention.