This proof page has moved to Use Cases.