The proof links are listed for easy access.