Formalising the ravages of time. Variation and well-formedness