Rewrite to AOGP[Final part]