Covenant Classical-Logic