Formats:
Rules:
TODO: rule-function, rule-equals