Folding context (for future use)

Fields

empty structure