EX1 in POSTPC