Updated formalization of GBoxed mapping