the above tells us that if logical definitions be framed for all non logical expressions occurring essentially in the true statement, becomes an abbreviation a truth involving only logical expressions essentially.