The Formal Periodic Review for AEDY Programs