  == Logical consequence history merge  ==  I was pointed to this safe harbour by . I did not perform a history merge on moving Entailment to Logical consequence. Whilst I am 90% certain of what to do I'm not big on those odds. Could you please let me know what to do? This isn't really my thing, but learning is always a good step.  