PROOFS PROGRAMME

23.1 Non degenerate case

For page specific messages
For page specific messages