Extensions from Consequences

---