if "s ∝ t").