5.442 If a proposition is given to us then the results of all truth-operations which have it as their basis are given with it.