TLA is intentionally ambiguous and I don't think handling needs to exist here.