Back to Proxideal