← SPECIFICATION AND APPLICATION OF VOID PACES