Original contents of ReasonSet