5.45 If there are primitive signs of logic then a correct logic must make clear their position with regard to one another and justify their being. The construction of logic out of its primitive signs must be made clear.

Fair enough.