Normal
you said time was an abstractiontime is a dimensionqed
you said time was an abstraction
time is a dimension
qed
