PoC of A_4