What is an aborted start in F1? … meaning cars completed an extra formation lap, which lead to a one lap reduced race count.