First-degree Entailment and Binary Consequence Systems