The completion of the Callen postulate system