What would be the consequences of replacing the Wednesbury test with a test based on proportionality?