prohibition programming drolleries rediscovered riffraff proportionality smarter assignable concluding