user: Question: What is the average lap of the race with a 23 finish?
Columns: ['Year', 'Start', 'Qual', 'Rank', 'Finish', 'Laps']
Types: ['text', 'text', 'text', 'text', 'text', 'real']
Sample row: ['1954', '31', '137.794', '29', '18', 193.0]
SQL:

assistant: SELECT AVG("Laps") FROM "Table" WHERE "Finish" = '23';