2 ms·"though proving their..." → "thus proving their..."by kafkaesq 10y ago"though proving their..." → "thus proving their..."