thus every finite total order is in fact a well order an oklahoma player is tackled playing football now there are two ashoks and two bahadurs in the same city