形式正义的前瞻性要求：麦考密克的后果推理