Pages Functions Proof (#2702)

MARKER-V3-SYNC-CHECK