Reverse Restructured Mathematics