Some Remarks on GB Formalization andImplementation