Det uppstälda vilkoret varuppfyldl