Rewrite the case A.2